predicate calculus - Deutsch Englisch Wörterbuch